A Software Performance Evaluation Approach Using Stochastic Process Algebra Tools
نویسندگان
چکیده
In this paper we present an integrated approach to the functional and performance analysis of software modeling provided by Stochastic Process Algebra (SPA). Three SPA languages have been appeared in the last decade and are widely used for software architecture and performance evaluation. We present these languages with the difference between them and we show by an example the methodology which must be used for an integrated analysis.
منابع مشابه
An Efficient Algorithm for Aggregating PEPA Models
ÐPerformance Evaluation Process Algebra (PEPA) is a formal language for performance modeling based on process algebra. It has previously been shown that, by using the process algebra apparatus, compact performance models can be derived which retain the essential behavioral characteristics of the modeled system. However, no efficient algorithm for this derivation was given. In this paper, we pre...
متن کاملStochastic Process Algebra: From an Algebraic Formalism to an Architectural Description Language
The objective of this tutorial is to describe the evolution of the field of stochastic process algebra in the past decade, through a presentation of the main achievements in the field. In particular, the tutorial stresses the current transformation of stochastic process algebra from a simple formalism to a fully fledged architectural description language for the functional verification and perf...
متن کاملPerformance Modeling and Analysis of Software Architectures Specified Through Graph Transformations
Software architecture plays an important role in the success of modern, large and distributed software systems. For many of the software systems – especially safety-critical ones – it is important to specify their architectures using formal modeling notations. In this case, it is possible to assess different functional and nonfunctional properties on the designed models. Graph Transformation Sy...
متن کاملExploiting Modal Logic to Express Performance Measures
Stochastic process algebras such as PEPA provide ample support for the component-based construction of models. Tools compute the numerical solution of these models; however, the stochastic process algebra methodology has lacked support for the specification and calculation of complex performance measures. In this paper we present a stochastic modal logic which can aid the construction of a rewa...
متن کاملGenerating a Performance Stochastic Model from UML Specifications
Since its initiation by Connie Smith, the process of Software Performance Engineering (SPE) is becoming a growing concern. The idea is to bring performance evaluation into the software design process. This suitable methodology allows software designers to determine the performance of software during design. Several approaches have been proposed to provide such techniques. Some of them propose t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003